71![Challenges in Relational Learning for Real-Time Systems Applications Mark Bartlett1,2 , Iain Bate2 , and Dimitar Kazakov1 1 Artificial Intelligence Group, Department of Computer Science, Challenges in Relational Learning for Real-Time Systems Applications Mark Bartlett1,2 , Iain Bate2 , and Dimitar Kazakov1 1 Artificial Intelligence Group, Department of Computer Science,](https://www.pdfsearch.io/img/95528469c93a0f4a9aa9860e34473258.jpg) | Add to Reading ListSource URL: www.cs.york.ac.ukLanguage: English - Date: 2012-05-02 15:17:36
|
---|
72![DAEDALUS ∗ Validation of Critical Software by Static Analysis and Abstract Testing DAEDALUS ∗ Validation of Critical Software by Static Analysis and Abstract Testing](https://www.pdfsearch.io/img/52fa6f8136ecc62a5cabd4d0ecdf8b57.jpg) | Add to Reading ListSource URL: www.di.ens.frLanguage: English - Date: 2002-12-20 10:55:12
|
---|
73![aiT for TriCore aiT WCET Analyzers statically compute tight bounds for the worst-case execution time (WCET) of tasks in real-time systems. They directly analyze binary executables and take the intrinsic cache and pipelin aiT for TriCore aiT WCET Analyzers statically compute tight bounds for the worst-case execution time (WCET) of tasks in real-time systems. They directly analyze binary executables and take the intrinsic cache and pipelin](https://www.pdfsearch.io/img/a80128448351ef6c1e4d18bab25b1f23.jpg) | Add to Reading ListSource URL: www.absint.comLanguage: English - Date: 2015-01-19 06:15:30
|
---|
74![Evaluating Static Worst-Case Execution-Time Analysis for a Commercial Real-Time Operating System Daniel Sandell Master’s thesis D-level, 20 credits Dept. of Computer Science Evaluating Static Worst-Case Execution-Time Analysis for a Commercial Real-Time Operating System Daniel Sandell Master’s thesis D-level, 20 credits Dept. of Computer Science](https://www.pdfsearch.io/img/83d4a5620394fc386a19efbbd7de8851.jpg) | Add to Reading ListSource URL: www.mrtc.mdh.seLanguage: English - Date: 2004-07-22 07:43:03
|
---|
75![aiT for e200 aiT WCET Analyzers statically compute tight bounds for the worst-case execution time (WCET) of tasks in real-time systems. They directly analyze binary executables and take the intrinsic cache and pipeline b aiT for e200 aiT WCET Analyzers statically compute tight bounds for the worst-case execution time (WCET) of tasks in real-time systems. They directly analyze binary executables and take the intrinsic cache and pipeline b](https://www.pdfsearch.io/img/5dba510fed912cd8253784b69326582e.jpg) | Add to Reading ListSource URL: www.absint.comLanguage: English - Date: 2015-01-19 06:15:30
|
---|
76![Static WCET Analysis of Task-Oriented Code for Construction Vehicles Master’s Thesis Daniel Sehlberg Dept. of Computer Science and Electronics Static WCET Analysis of Task-Oriented Code for Construction Vehicles Master’s Thesis Daniel Sehlberg Dept. of Computer Science and Electronics](https://www.pdfsearch.io/img/bb6bfff338f015fb00c739386494f1f1.jpg) | Add to Reading ListSource URL: www.mrtc.mdh.seLanguage: English - Date: 2005-10-12 17:20:25
|
---|
77![TimingProfiler Monitoring Timing Behavior During Code Development TimingProfiler helps developers identify application parts that are causing unsatisfactory execution times. It is ideally suited for constantly monitoring TimingProfiler Monitoring Timing Behavior During Code Development TimingProfiler helps developers identify application parts that are causing unsatisfactory execution times. It is ideally suited for constantly monitoring](https://www.pdfsearch.io/img/e380f340f907647b23abc80795e082c2.jpg) | Add to Reading ListSource URL: www.absint.comLanguage: English - Date: 2015-03-16 07:37:07
|
---|
78![Static Timing Analysis of Real-Time Operating System Code Daniel Sandell, Andreas Ermedahl, Jan Gustafsson, and Bj¨ orn Lisper Dept. of Computer Science and Engineering M¨ Static Timing Analysis of Real-Time Operating System Code Daniel Sandell, Andreas Ermedahl, Jan Gustafsson, and Bj¨ orn Lisper Dept. of Computer Science and Engineering M¨](https://www.pdfsearch.io/img/0d27645b8001821d30ecc1ca3f8fced0.jpg) | Add to Reading ListSource URL: www.mrtc.mdh.seLanguage: English - Date: 2004-11-30 08:39:18
|
---|
79![aiT Worst-Case Execution Time Analyzer AbsInt GmbH 2012 aiT Worst-Case Execution Time Analyzer AbsInt GmbH 2012](https://www.pdfsearch.io/img/f74ea3f40acd61c77205967cff3873af.jpg) | Add to Reading ListSource URL: www.absint.comLanguage: English - Date: 2012-04-23 04:44:53
|
---|
80![aiT for Am486 aiT WCET Analyzers statically compute tight bounds for the worst-case execution time (WCET) of tasks in real-time systems. They directly analyze binary executables and take the intrinsic cache and pipeline aiT for Am486 aiT WCET Analyzers statically compute tight bounds for the worst-case execution time (WCET) of tasks in real-time systems. They directly analyze binary executables and take the intrinsic cache and pipeline](https://www.pdfsearch.io/img/8e6039927d691216b7c795789722d20d.jpg) | Add to Reading ListSource URL: www.absint.comLanguage: English - Date: 2015-01-19 06:15:30
|
---|